<html>
<head><meta charset="utf-8"><title>First contribution to miri · t-compiler/const-eval · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/index.html">t-compiler/const-eval</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/First.20contribution.20to.20miri.html">First contribution to miri</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="233250990"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/First%20contribution%20to%20miri/near/233250990" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/First.20contribution.20to.20miri.html#233250990">(Apr 06 2021 at 00:45)</a>:</h4>
<p>Hey everyone! I'd like to contribute to miri (is this the right place to ask?) and am looking for a good starting point. Any recommendations? I don't mind jumping into the deep end of things by any means, so if there are no obvious low hanging fruit for a beginner something more involved is alright too.</p>



<a name="233251075"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/First%20contribution%20to%20miri/near/233251075" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/First.20contribution.20to.20miri.html#233251075">(Apr 06 2021 at 00:46)</a>:</h4>
<p>I think shims are a good starting point. Check the <a href="https://github.com/rust-lang/miri/issues?q=is%3Aissue+is%3Aopen+label%3AA-shims">issue tracker</a></p>



<a name="233361364"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/First%20contribution%20to%20miri/near/233361364" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> hyd-dev <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/First.20contribution.20to.20miri.html#233361364">(Apr 06 2021 at 17:53)</a>:</h4>
<blockquote>
<p>is this the right place to ask?</p>
</blockquote>
<p>If you mean <a href="https://github.com/rust-lang/miri">https://github.com/rust-lang/miri</a>, I think <a class="stream" data-stream-id="269128" href="/#narrow/stream/269128-miri">#miri</a> is a better place.</p>



<a name="233361668"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/First%20contribution%20to%20miri/near/233361668" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/First.20contribution.20to.20miri.html#233361668">(Apr 06 2021 at 17:55)</a>:</h4>
<p>I didn't know #miri existed ahahahah I feel bad :(</p>



<a name="233945744"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/First%20contribution%20to%20miri/near/233945744" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/First.20contribution.20to.20miri.html#233945744">(Apr 10 2021 at 10:48)</a>:</h4>
<p>Hi <span class="user-mention" data-user-id="310518">@Jake</span> , that's great. :)</p>



<a name="233945766"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/First%20contribution%20to%20miri/near/233945766" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/First.20contribution.20to.20miri.html#233945766">(Apr 10 2021 at 10:48)</a>:</h4>
<p>This is an okay place to ask though we should probably move this to <a class="stream" data-stream-id="269128" href="/#narrow/stream/269128-miri">#miri</a>  (but only mods can move topics across streams I think)</p>



<a name="233945800"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/First%20contribution%20to%20miri/near/233945800" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/First.20contribution.20to.20miri.html#233945800">(Apr 10 2021 at 10:49)</a>:</h4>
<p>beyond what <span class="user-mention" data-user-id="132916">@Christian Poveda</span> suggested, we also have <a href="https://github.com/rust-lang/miri/issues?q=is%3Aopen+is%3Aissue+label%3AE-easy">some issues marked 'easy'</a>. Now, easy is relative; 'easy' in Miri is usually more tricky than 'easy' in rustc. But still, assuming you have some Rust experience, those should also be good issues to start with.</p>



<a name="233945886"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/First%20contribution%20to%20miri/near/233945886" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/First.20contribution.20to.20miri.html#233945886">(Apr 10 2021 at 10:50)</a>:</h4>
<p>I'm also happy to do some mentoring, though my availability is mostly restricted to weekends -- during the week I might have bits of time here and there, but not a lot</p>



<a name="233945912"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/First%20contribution%20to%20miri/near/233945912" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/First.20contribution.20to.20miri.html#233945912">(Apr 10 2021 at 10:51)</a>:</h4>
<p>Hm, I now realize maybe you didn't mean <a href="https://github.com/rust-lang/miri">Miri the tool</a> but you meant the core CTFE engine of the rustc compiler, sometimes also called "Miri engine" or (confusingly) "Miri"...</p>



<a name="234131918"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/First%20contribution%20to%20miri/near/234131918" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/First.20contribution.20to.20miri.html#234131918">(Apr 12 2021 at 09:57)</a>:</h4>
<p>Hey <span class="user-mention" data-user-id="120791">@RalfJ</span>  , thanks for getting back to this. Midterms week has been kicking my butt so haven't gotten to anything yet but am planning on starting today. With regards to your last point, I think I meant "miri the end product" so I suppose that includes both the tool and the CTFE stuff. I'll take a look at either the before mentioned issues or one of the easy ones and just start trying things.</p>



<a name="234132363"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/First%20contribution%20to%20miri/near/234132363" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/First.20contribution.20to.20miri.html#234132363">(Apr 12 2021 at 10:01)</a>:</h4>
<p><span class="user-mention" data-user-id="310518">@Jake</span>  okay, cool. :) If it's about the tool (is that what you mean by "end product"?), probably better use <a class="stream" data-stream-id="269128" href="/#narrow/stream/269128-miri">#miri</a> for further discussion (or just comment on the issues)</p>



<a name="234132402"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/First%20contribution%20to%20miri/near/234132402" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/First.20contribution.20to.20miri.html#234132402">(Apr 12 2021 at 10:01)</a>:</h4>
<p>However, it's going to be a busy week for me, so I cannot promise to be very reactive until the next weekend</p>



<a name="234132512"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/First%20contribution%20to%20miri/near/234132512" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/First.20contribution.20to.20miri.html#234132512">(Apr 12 2021 at 10:02)</a>:</h4>
<p>That said, there are other people hanging out in <a class="stream" data-stream-id="269128" href="/#narrow/stream/269128-miri">#miri</a> so if you have questions that's still a good place to ask :D</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>